6d8cb991e12e52ad5e8db8bbb7f03e5abf936bee,basex-core/src/main/java/org/basex/query/expr/If.java,If,optimize,#CompileContext#,62

Before Change


      if(b == Bln.FALSE) {
        // if(A) then false() else C -> not(A) and C
        cc.info(OPTREWRITE_X, this);
        final Expr notA = cc.function(Function.NOT, info, a).optimize(cc);
        return new And(info, notA, c).optimize(cc);
      }

      if(c == Bln.FALSE) {

After Change


      if(b == Bln.FALSE) {
        // if(A) then false() else C -> not(A) and C
        cc.info(OPTREWRITE_X, this);
        return new And(info, cc.function(Function.NOT, info, a), c).optimize(cc);
      }

      if(c == Bln.FALSE) {